#ifndef __ZHU_OS_KERENEL64_KERNEL_H__
#define __ZHU_OS_KERENEL64_KERNEL_H__

typedef char* va_list;

#define va_start(p, count) (p = (va_list) &count + sizeof(char*))
#define va_arg(p, t) (*(t*)((p += sizeof(char*)) - sizeof(char*)))
#define va_end(p) (p = NULL)

#endif